Classification of Nonnegative Solutions to Static Schrödinger--Hartree--Maxwell Type Equations

In this paper, we are mainly concerned with the physically interesting static Schr\"{o}dinger-Hartree-Maxwell type equations \begin{equation*} (-\Delta)^{s}u(x)=\left(\frac{1}{|x|^{\sigma}}\ast |u|^{p}\right)u^{q}(x) \,\,\,\,\,\,\,\,\,\,\,\, \text{in} \,\,\, \mathbb{R}^{n} \end{equation*} involving higher-order or fractional Laplacians, where $n\geq1$, $0<s:=m+\frac{\alpha}{2}<\frac{n}{2}$, $m\geq0$ is an integer, $0<\alpha\leq2$, $0<\sigma<n$, $0<p\leq\frac{2n-\sigma}{n-2s}$ and $0<q\leq\frac{n+2s-\sigma}{n-2s}$. We first prove super poly-harmonic properties of nonnegative classical solutions to above PDEs, then show equivalence between PDEs following integral u(x)=\int_{\mathbb{R}^n}\frac{R_{2s,n}}{|x-y|^{n-2s}}\left(\int_{\mathbb{R}^{n}}\frac{1}{|y-z|^{\sigma}}u^p(z)dz\right)u^{q}(y)dy. Finally, classify all via method moving spheres in form. As a consequence, obtain classification results for PDEs. Our completely improved \cite{CD,DFQ,DL,DQ,Liu}. critical super-critical order cases (i.e., $\frac{n}{2}\leq s:=m+\frac{\alpha}{2}<+\infty$), also derive Liouville theorem.